Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
401	PDF Document Add to Reading List Source URL: www.astro.cornell.edu Language: English - Date: 2003-09-04 16:03:55 Symbol Bayes factor Von Mises distribution Normal distribution Constructible universe Fourier analysis Bayesian statistics Statistics Bayesian inference Model selection
402	Parallel Belief Revision James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:33:34 Logic programming Entailment Constructible universe Logic Belief revision Knowledge representation
403	Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-03-04 23:18:30 Logic programming Metalogic Knowledge representation Logic in computer science Situation calculus Frame problem Interpretation Fluent Constructible universe Mathematical logic Logic Model theory
404	Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:35:55 Logic Logic programming Constructible universe Mathematics Ordinal numbers Set theory Curry–Howard correspondence Ordinal arithmetic Mathematical logic Belief revision Knowledge representation
405	FREQUENCY ESTIMATION USING TAPERED DATA B.G. Quinn Statistics Dept, EFS, Building C5C, Macquarie University, Sydney, 2109, AUSTRALIA ABSTRACT The maximizer of the periodogram of a sinusoid in additive noise is known to h Add to Reading List Source URL: stat.mq.edu.au Language: English - Date: 2009-07-18 23:01:11 Mathematics Automata theory Structure Abstraction Ordinal arithmetic Ordinal numbers First uncountable ordinal Constructible universe
406	Incentives for Subjective Evaluations with Private Beliefs Goran Radanovic and Boi Faltings Ecole Polytechnique Federale de Lausanne (EPFL) Artificial Intelligence Laboratory CH-1015 Lausanne, Switzerland Add to Reading List Source URL: liawww.epfl.ch Language: English - Date: 2015-02-05 11:37:45 Combinatory logic Mechanism design Mathematics Reputation Random variable Conditional independence Constructible universe Applied mathematics Probability and statistics Probability theory Statistical dependence Independence
407	Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems ∗ Nicolas Schwind Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-03-26 22:18:22 Ordinal number Dynamical system Psychological resilience Structure Resilience Control theory Laplace transform Mathematical analysis Mathematics Constructible universe
408	Conservative Belief Change James P. Delgrande Abhaya C. Nayak Maurice Pagnucco Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:50:37 Belief revision Knowledge representation Interpretation Science Constructible universe Symbol Contraction Artificial intelligence Linear temporal logic Model theory Logic Operator theory
409	Two Approaches to Merging Knowledge Bases James P. Delgrande1 and Torsten Schaub2? 1 School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 , Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-07-05 03:35:58 Model theory Constructible universe Science Symbol Interpretation Artificial intelligence Logic Belief revision Knowledge representation
410	The Expressivity of Quantifying over Regions Ernest Davis∗ Dept. of Computer Science New York University October 24, 2011 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-10-24 22:03:55 Finite model theory Vector space XTR Constructible universe Proofs involving the Moore–Penrose pseudoinverse Forcing Algebra Mathematics FO

UPDATE